Sequential consistency - PDFSEARCH.IO - Document Search Engine

Sequential consistency
Results: 51

#	Item
21	A Separation Logic for Fictional Sequential Consistency Filip Sieczkowski1 , Kasper Svendsen1 , Lars Birkedal1 , and Jean Pichon-Pharabod2 1 Add to Reading List Source URL: www.kasv.dk Language: English - Date: 2015-03-23 04:18:47
22	An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, Dakar Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Logic Artificial intelligence Epistemic modal logic Formal epistemology Modal logic Philosophy Interpretation Cognitive science
23	Administrivia • Please say your name if you answer a question today • If we don’t have a photo of you yet, stay after class • If you didn’t get test email, let us know – p. 1/20 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2006-09-28 18:49:53 Computer memory Concurrency control Linearizability Data Sequential consistency Parallel computing Consistency model Circular buffer Write Transaction processing Computing Computer architecture
24	BulkSC: Bulk Enforcement of Sequential Consistency Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2007-09-14 13:31:04
25	SEPTEMBERWRL Research ReportShared Memory Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2006-10-01 20:57:19 Computer memory Transaction processing Compiler construction Concurrency Programming language design Consistency model Sequential consistency Memory model Linearizability Computing Software engineering Computer architecture
26	Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2002-12-21 01:16:06 Data Information Linearizability Monitor Sequential consistency Concurrent data structure Communications protocol Consistency model Concurrent computing Computing Concurrency control Transaction processing
27	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:19:19 Transaction processing Memory management Linearizability Parallel computing Concurrent data structure Non-blocking algorithm Garbage collection Algorithm Sequential consistency Computing Concurrent computing Concurrency control
28	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-03-27 11:34:59 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
29	Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-28 14:53:00 Data management Concurrent computing Linearizability Serializability Non-blocking algorithm Sequential consistency Consistency model Thread safety Monitor Concurrency control Computing Transaction processing
30	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 9 Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data Types Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:18:06 Consistency model Sequential consistency Parallel computing Transaction processing Concurrency control Linearizability